def inspect(path: str) -> None: ...
def run() -> None: ...
